Nuprl Lemma : finite-sequence-coding-exists
0,22
postcript
pdf
code
:(
k
:
(
k
)). Surj(
;
k
:
(
k
);
code
)
latex
origin
code:(
k:
(k)). Surj(; k:(k); code) code:(k:(k)). Surj(; k:(k); code)